文字 (数理逻辑)literal: adj. 1.文字的,文字上的。 2.字面上的,逐字逐句 ...mathematical: adj. 数学(上)的,数理的;严正的,精确的。 mat ...logic: n. 1.逻辑,理论学。 2.推理[方法];逻辑性,条理 ...mathematical logic: 纯逻辑学; 符号逻辑; 数理逻辑; 数学逻辑; 数字逻辑formula (mathematical logic): 公式 (数理逻辑)下载手机词典可随时随地查词查翻译